Logic in computer science

Results: 2713



#Item
91Structural Recursion as a Query Language y Val Breazu-Tannen, Peter Buneman Department of Computer and Information Science University of Pennsylvania Philadelphia, PA 19104{6389, USA val, peter @cis.upenn.edu

Structural Recursion as a Query Language y Val Breazu-Tannen, Peter Buneman Department of Computer and Information Science University of Pennsylvania Philadelphia, PA 19104{6389, USA val, peter @cis.upenn.edu

Add to Reading List

Source URL: homepages.inf.ed.ac.uk

Language: English - Date: 2006-12-31 07:06:16
92university of copenhagen department of computer science Faculty of Science

university of copenhagen department of computer science Faculty of Science

Add to Reading List

Source URL: staff.fnwi.uva.nl

Language: English - Date: 2014-01-14 07:20:59
93An experimental evaluation of Max-SAT and PB solvers on over-subscription planning problems Marco Maratea DIST, University of Genova, Viale F. Causa 15, Genova, Italy. Abstract

An experimental evaluation of Max-SAT and PB solvers on over-subscription planning problems Marco Maratea DIST, University of Genova, Viale F. Causa 15, Genova, Italy. Abstract

Add to Reading List

Source URL: ceur-ws.org

Language: English - Date: 2010-05-19 04:29:26
94to appear in TCS – www.wischik.com/lu/research/explicit-fusions.html Explicit Fusions Lucian Wischik1 and Philippa Gardner2 1 2

to appear in TCS – www.wischik.com/lu/research/explicit-fusions.html Explicit Fusions Lucian Wischik1 and Philippa Gardner2 1 2

Add to Reading List

Source URL: www.wischik.com

Language: English - Date: 2004-02-23 13:34:35
95The Whiley Rewrite Language (WyRL) David J. Pearce School of Engineering and Computer Science, Victoria University of Wellington, New Zealand Abstract

The Whiley Rewrite Language (WyRL) David J. Pearce School of Engineering and Computer Science, Victoria University of Wellington, New Zealand Abstract

Add to Reading List

Source URL: homepages.ecs.vuw.ac.nz

Language: English - Date: 2015-08-18 20:05:39
96Let tests drive or let Dijkstra derive? Presented at ALE2014 in Krakow Poland on August 21, 2014 Author: Sander Kooijmans Date: November 3, 2014 Why this document?

Let tests drive or let Dijkstra derive? Presented at ALE2014 in Krakow Poland on August 21, 2014 Author: Sander Kooijmans Date: November 3, 2014 Why this document?

Add to Reading List

Source URL: www.gogognome.nl

Language: English - Date: 2016-04-05 02:15:07
97EUROPEAN SOCIETY FOR FUZZY LOGIC AND TECHNOLOGY EUSFLAT MINUTES OF THE ASSEMBLY OF THE

EUROPEAN SOCIETY FOR FUZZY LOGIC AND TECHNOLOGY EUSFLAT MINUTES OF THE ASSEMBLY OF THE

Add to Reading List

Source URL: www.eusflat.org

Language: English - Date: 2011-12-12 02:22:47
98MaSh: Machine Learning for Sledgehammer Daniel Kühlwein1 , Jasmin Christian Blanchette2 , Cezary Kaliszyk3 , and Josef Urban1 1 2

MaSh: Machine Learning for Sledgehammer Daniel Kühlwein1 , Jasmin Christian Blanchette2 , Cezary Kaliszyk3 , and Josef Urban1 1 2

Add to Reading List

Source URL: people.mpi-inf.mpg.de

Language: English - Date: 2015-03-13 06:06:51
99No complete linear term rewriting system for propositional logic Anupam Das and Lutz Straßburger Abstract Recently it has been observed that the set of all sound linear inference rules in propositional

No complete linear term rewriting system for propositional logic Anupam Das and Lutz Straßburger Abstract Recently it has been observed that the set of all sound linear inference rules in propositional

Add to Reading List

Source URL: www.lix.polytechnique.fr

Language: English - Date: 2015-03-23 07:14:32
100EUROPEAN SOCIETY FOR FUZZY LOGIC AND TECHNOLOGY EUSFLAT Minutes of the EUSFLAT General Assembly 2016 Eindhoven, June 21, 2016 The assembly starts at 17:50, ten minutes later than as scheduled.

EUROPEAN SOCIETY FOR FUZZY LOGIC AND TECHNOLOGY EUSFLAT Minutes of the EUSFLAT General Assembly 2016 Eindhoven, June 21, 2016 The assembly starts at 17:50, ten minutes later than as scheduled.

Add to Reading List

Source URL: www.eusflat.org

Language: English - Date: 2016-07-14 04:29:16